[next] [prev] [prev-tail] [tail] [up]

2.2.11 Integrals 1001 to 1100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1001

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 104 135 133 228 146 0 260 213

N.S.

1 0.90 1.17 1.16 1.98 1.27 0.00 2.26 1.85

time (sec)

N/A 0.471 0.308 0.646 0.214 0.272 0.000 0.365 11.598

Problem 1002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 116 176 181 270 188 0 393 322

N.S.

1 0.83 1.26 1.29 1.93 1.34 0.00 2.81 2.30

time (sec)

N/A 0.476 0.438 0.795 0.222 0.288 0.000 0.375 13.837

Problem 1003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 95 69 109 104 84 3363 139 124

N.S.

1 0.90 0.66 1.04 0.99 0.80 32.03 1.32 1.18

time (sec)

N/A 0.345 0.152 0.434 0.213 0.299 32.534 0.344 0.112

Problem 1004

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 72 72 75 72 66 1703 95 82

N.S.

1 0.91 0.91 0.95 0.91 0.84 21.56 1.20 1.04

time (sec)

N/A 0.330 0.107 0.343 0.211 0.287 11.678 0.352 10.002

Problem 1005

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 55 44 45 44 49 588 51 47

N.S.

1 0.96 0.77 0.79 0.77 0.86 10.32 0.89 0.82

time (sec)

N/A 0.296 0.068 0.214 0.204 0.262 3.584 0.314 0.088

Problem 1006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 35 31 32 34 31 60 35 36

N.S.

1 0.97 0.86 0.89 0.94 0.86 1.67 0.97 1.00

time (sec)

N/A 0.245 0.027 0.190 0.210 0.296 0.274 0.278 0.065

Problem 1007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 43 44 62 58 73 0 79 43

N.S.

1 0.96 0.98 1.38 1.29 1.62 0.00 1.76 0.96

time (sec)

N/A 0.270 0.050 0.362 0.206 0.275 0.000 0.287 0.106

Problem 1008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 94 75 94 113 161 0 147 96

N.S.

1 1.03 0.82 1.03 1.24 1.77 0.00 1.62 1.05

time (sec)

N/A 0.327 0.185 0.580 0.203 0.305 0.000 0.324 0.146

Problem 1009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 145 105 132 165 194 0 192 151

N.S.

1 0.99 0.72 0.90 1.13 1.33 0.00 1.32 1.03

time (sec)

N/A 0.376 0.375 0.968 0.206 0.295 0.000 0.463 10.667

Problem 1010

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 198 142 170 220 224 0 236 206

N.S.

1 0.97 0.69 0.83 1.07 1.09 0.00 1.15 1.00

time (sec)

N/A 0.445 0.575 1.637 0.222 0.321 0.000 0.468 9.962

Problem 1011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 72 52 84 83 82 2705 95 98

N.S.

1 0.91 0.66 1.06 1.05 1.04 34.24 1.20 1.24

time (sec)

N/A 0.322 0.114 0.317 0.242 0.299 52.945 0.483 0.080

Problem 1012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 47 34 58 61 64 1182 73 68

N.S.

1 0.92 0.67 1.14 1.20 1.25 23.18 1.43 1.33

time (sec)

N/A 0.296 0.049 0.307 0.207 0.292 20.659 0.432 9.715

Problem 1013

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 63 51 55 54 48 1096 92 61

N.S.

1 0.95 0.77 0.83 0.82 0.73 16.61 1.39 0.92

time (sec)

N/A 0.295 0.069 0.314 0.211 0.306 7.076 0.547 0.084

Problem 1014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 41 41 37 43 45 121 76 41

N.S.

1 0.93 0.93 0.84 0.98 1.02 2.75 1.73 0.93

time (sec)

N/A 0.254 0.059 0.238 0.196 0.276 0.405 0.294 0.063

Problem 1015

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 65 69 81 84 134 0 104 71

N.S.

1 0.92 0.97 1.14 1.18 1.89 0.00 1.46 1.00

time (sec)

N/A 0.309 0.090 0.510 0.206 0.293 0.000 0.297 0.114

Problem 1016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 118 87 113 139 230 0 169 121

N.S.

1 0.96 0.71 0.92 1.13 1.87 0.00 1.37 0.98

time (sec)

N/A 0.352 0.480 0.891 0.198 0.286 0.000 0.361 0.168

Problem 1017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 171 123 151 207 260 0 214 193

N.S.

1 0.96 0.69 0.84 1.16 1.45 0.00 1.20 1.08

time (sec)

N/A 0.398 0.454 1.389 0.218 0.320 0.000 0.387 0.291

Problem 1018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 224 160 189 252 290 0 258 240

N.S.

1 0.95 0.68 0.80 1.07 1.23 0.00 1.09 1.02

time (sec)

N/A 0.475 0.943 2.319 0.212 0.322 0.000 0.411 10.222

Problem 1019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

170 213 154 0 0 0 0 0 0

N.S.

1 1.25 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.531 0.315 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 146 132 387 1207 333 0 1320 783

N.S.

1 0.92 0.83 2.43 7.59 2.09 0.00 8.30 4.92

time (sec)

N/A 0.349 0.522 14.799 0.263 0.347 0.000 0.377 18.175

Problem 1021

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 113 103 255 643 221 22522 811 517

N.S.

1 0.92 0.84 2.07 5.23 1.80 183.11 6.59 4.20

time (sec)

N/A 0.333 0.262 6.234 0.231 0.316 95.271 0.345 17.293

Problem 1022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 86 93 148 285 135 5243 432 272

N.S.

1 0.92 1.00 1.59 3.06 1.45 56.38 4.65 2.92

time (sec)

N/A 0.316 0.211 2.312 0.217 0.292 11.038 0.402 12.918

Problem 1023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 55 51 72 83 70 428 147 99

N.S.

1 0.93 0.86 1.22 1.41 1.19 7.25 2.49 1.68

time (sec)

N/A 0.279 0.097 1.160 0.215 0.302 1.084 0.435 10.321

Problem 1024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

80 83 71 0 0 0 0 0 0

N.S.

1 1.04 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.286 0.084 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

100 105 82 0 0 0 0 0 0

N.S.

1 1.05 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.299 0.125 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 107 76 0 0 0 0 0 0

N.S.

1 1.03 0.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.308 0.122 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1027

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-1) F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

129 125 111 0 0 0 0 0 0

N.S.

1 0.97 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.460 0.610 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

129 125 111 0 0 0 0 0 0

N.S.

1 0.97 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.427 0.339 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1029

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

127 123 111 0 0 0 0 0 0

N.S.

1 0.97 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.422 0.226 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1030

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

123 117 116 0 0 0 0 0 0

N.S.

1 0.95 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.447 0.748 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1031

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

135 129 97 0 0 0 0 0 0

N.S.

1 0.96 0.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.464 0.708 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

135 129 97 0 0 0 0 0 0

N.S.

1 0.96 0.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.430 0.819 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1033

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

239 207 160 0 0 197 0 0 441

N.S.

1 0.87 0.67 0.00 0.00 0.82 0.00 0.00 1.85

time (sec)

N/A 0.867 0.368 0.000 0.000 0.299 0.000 0.000 19.438

Problem 1034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

168 155 119 0 0 131 0 0 234

N.S.

1 0.92 0.71 0.00 0.00 0.78 0.00 0.00 1.39

time (sec)

N/A 0.656 0.192 0.000 0.000 0.315 0.000 0.000 12.104

Problem 1035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 102 83 0 0 84 0 0 129

N.S.

1 1.00 0.81 0.00 0.00 0.82 0.00 0.00 1.26

time (sec)

N/A 0.469 0.114 0.000 0.000 0.331 0.000 0.000 1.391

Problem 1036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

151 179 133 0 0 0 0 0 0

N.S.

1 1.19 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.528 0.290 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

147 175 144 0 0 0 0 0 0

N.S.

1 1.19 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.464 0.364 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

160 200 150 0 0 0 0 0 0

N.S.

1 1.25 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.508 0.480 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1039

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

163 205 155 0 0 0 0 0 0

N.S.

1 1.26 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.531 0.649 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 33 34 0 33 0 1790 33

N.S.

1 1.00 1.03 1.06 0.00 1.03 0.00 55.94 1.03

time (sec)

N/A 0.275 0.116 4.359 0.000 0.270 0.000 3.805 10.502

Problem 1041

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 35 36 0 35 0 1775 35

N.S.

1 1.00 1.03 1.06 0.00 1.03 0.00 52.21 1.03

time (sec)

N/A 0.279 0.049 4.050 0.000 0.287 0.000 3.193 0.535

Problem 1042

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

168 216 0 0 0 0 0 0 0

N.S.

1 1.29 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.511 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

149 171 0 0 0 0 0 0 0

N.S.

1 1.15 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.409 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1044

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

145 169 0 0 0 0 0 0 0

N.S.

1 1.17 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.348 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

149 171 0 0 0 0 0 0 0

N.S.

1 1.15 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.404 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

149 171 0 0 0 0 0 0 0

N.S.

1 1.15 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.399 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

149 171 0 0 0 0 0 0 0

N.S.

1 1.15 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.404 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

149 171 0 0 0 0 0 0 0

N.S.

1 1.15 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.417 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

175 221 0 0 0 0 0 0 0

N.S.

1 1.26 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.631 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 113 77 84 65 73 192 92 153

N.S.

1 1.08 0.73 0.80 0.62 0.70 1.83 0.88 1.46

time (sec)

N/A 0.555 0.115 0.392 0.206 0.287 0.333 0.314 14.510

Problem 1051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 85 59 60 52 62 144 62 125

N.S.

1 1.05 0.73 0.74 0.64 0.77 1.78 0.77 1.54

time (sec)

N/A 0.453 0.071 0.293 0.196 0.273 0.221 0.315 13.521

Problem 1052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 70 61 48 0 51 119 47 125

N.S.

1 1.08 0.94 0.74 0.00 0.78 1.83 0.72 1.92

time (sec)

N/A 0.386 0.082 0.249 0.000 0.280 0.161 0.305 13.289

Problem 1053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 50 74 48 57 60 0 87 157

N.S.

1 0.98 1.45 0.94 1.12 1.18 0.00 1.71 3.08

time (sec)

N/A 0.310 0.070 0.262 0.198 0.279 0.000 0.312 10.811

Problem 1054

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 75 49 54 84 0 108 158

N.S.

1 1.00 1.83 1.20 1.32 2.05 0.00 2.63 3.85

time (sec)

N/A 0.245 0.014 0.280 0.290 0.281 0.000 0.311 10.062

Problem 1055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 54 109 71 66 114 0 95 151

N.S.

1 1.04 2.10 1.37 1.27 2.19 0.00 1.83 2.90

time (sec)

N/A 0.393 0.026 0.277 0.374 0.291 0.000 0.329 9.948

Problem 1056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 53 95 72 61 119 0 115 111

N.S.

1 1.02 1.83 1.38 1.17 2.29 0.00 2.21 2.13

time (sec)

N/A 0.410 0.086 0.299 0.201 0.289 0.000 0.339 9.897

Problem 1057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 79 135 90 80 137 0 116 112

N.S.

1 1.07 1.82 1.22 1.08 1.85 0.00 1.57 1.51

time (sec)

N/A 0.515 0.015 0.288 0.204 0.279 0.000 0.316 9.596

Problem 1058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 93 177 110 92 169 0 144 143

N.S.

1 1.03 1.97 1.22 1.02 1.88 0.00 1.60 1.59

time (sec)

N/A 0.579 0.105 0.385 0.194 0.283 0.000 0.322 10.011

Problem 1059

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 194 132 136 104 104 275 141 233

N.S.

1 1.02 0.69 0.72 0.55 0.55 1.45 0.74 1.23

time (sec)

N/A 1.144 0.313 0.599 0.192 0.298 0.473 0.414 14.291

Problem 1060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 166 120 117 92 103 309 115 112

N.S.

1 1.02 0.74 0.72 0.56 0.63 1.90 0.71 0.69

time (sec)

N/A 0.971 0.568 0.475 0.194 0.284 0.345 0.418 11.029

Problem 1061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 117 77 94 68 73 172 82 180

N.S.

1 1.10 0.73 0.89 0.64 0.69 1.62 0.77 1.70

time (sec)

N/A 0.543 0.224 0.315 0.184 0.311 0.236 0.426 13.187

Problem 1062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 92 91 72 74 84 0 133 225

N.S.

1 1.02 1.01 0.80 0.82 0.93 0.00 1.48 2.50

time (sec)

N/A 0.738 0.425 0.316 0.207 0.284 0.000 0.454 11.287

Problem 1063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 116 79 79 118 0 148 277

N.S.

1 1.00 1.49 1.01 1.01 1.51 0.00 1.90 3.55

time (sec)

N/A 0.286 0.220 0.347 0.275 0.300 0.000 0.400 10.182

Problem 1064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 155 102 103 168 0 148 397

N.S.

1 1.00 1.74 1.15 1.16 1.89 0.00 1.66 4.46

time (sec)

N/A 0.790 1.301 0.379 0.273 0.303 0.000 0.448 11.123

Problem 1065

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 99 538 96 82 167 0 167 231

N.S.

1 1.03 5.60 1.00 0.85 1.74 0.00 1.74 2.41

time (sec)

N/A 0.878 6.706 0.321 0.288 0.294 0.000 0.659 10.006

Problem 1066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 134 579 142 129 200 0 182 165

N.S.

1 1.09 4.71 1.15 1.05 1.63 0.00 1.48 1.34

time (sec)

N/A 0.967 6.754 0.374 0.355 0.285 0.000 0.334 9.707

Problem 1067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 162 236 135 108 195 0 222 187

N.S.

1 1.09 1.59 0.91 0.73 1.32 0.00 1.50 1.26

time (sec)

N/A 1.112 1.292 0.443 0.210 0.284 0.000 0.358 10.780

Problem 1068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 173 296 199 186 283 0 276 245

N.S.

1 1.02 1.74 1.17 1.09 1.66 0.00 1.62 1.44

time (sec)

N/A 1.155 1.194 0.450 0.223 0.280 0.000 0.366 10.325

Problem 1069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

232 227 157 162 131 141 394 166 455

N.S.

1 0.98 0.68 0.70 0.56 0.61 1.70 0.72 1.96

time (sec)

N/A 1.374 1.110 0.731 0.329 0.276 0.486 0.419 12.018

Problem 1070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 171 138 139 108 116 340 139 425

N.S.

1 1.05 0.85 0.85 0.66 0.71 2.09 0.85 2.61

time (sec)

N/A 0.785 0.471 0.497 0.201 0.277 0.355 0.381 11.345

Problem 1071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 138 129 111 101 116 0 293 567

N.S.

1 1.01 0.95 0.82 0.74 0.85 0.00 2.15 4.17

time (sec)

N/A 1.053 1.284 0.385 0.207 0.287 0.000 0.366 13.098

Problem 1072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 143 96 95 143 0 199 289

N.S.

1 1.00 1.40 0.94 0.93 1.40 0.00 1.95 2.83

time (sec)

N/A 0.331 0.861 0.390 0.436 0.283 0.000 0.366 11.162

Problem 1073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 132 192 132 128 216 0 272 585

N.S.

1 0.96 1.39 0.96 0.93 1.57 0.00 1.97 4.24

time (sec)

N/A 1.092 1.906 0.441 0.273 0.298 0.000 0.373 9.954

Problem 1074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 145 615 127 119 231 0 222 477

N.S.

1 1.05 4.46 0.92 0.86 1.67 0.00 1.61 3.46

time (sec)

N/A 1.151 7.062 0.435 0.274 0.277 0.000 0.420 12.829

Problem 1075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 155 690 166 149 265 0 234 348

N.S.

1 1.02 4.54 1.09 0.98 1.74 0.00 1.54 2.29

time (sec)

N/A 1.205 6.812 0.401 0.420 0.281 0.000 0.545 10.487

Problem 1076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 199 344 187 157 275 0 290 241

N.S.

1 1.09 1.88 1.02 0.86 1.50 0.00 1.58 1.32

time (sec)

N/A 1.407 1.633 0.403 0.195 0.296 0.000 0.533 9.823

Problem 1077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 216 369 224 202 310 0 354 292

N.S.

1 1.02 1.74 1.06 0.95 1.46 0.00 1.67 1.38

time (sec)

N/A 1.589 2.121 0.454 0.200 0.291 0.000 0.502 10.104

Problem 1078

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 263 246 249 0 643 0 261 1688

N.S.

1 1.40 1.31 1.32 0.00 3.42 0.00 1.39 8.98

time (sec)

N/A 1.572 2.106 1.182 0.000 0.346 0.000 0.425 13.281

Problem 1079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 212 129 210 0 568 0 211 479

N.S.

1 1.39 0.84 1.37 0.00 3.71 0.00 1.38 3.13

time (sec)

N/A 1.190 0.436 0.872 0.000 0.332 0.000 0.577 10.816

Problem 1080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 117 130 151 0 479 0 191 269

N.S.

1 1.10 1.23 1.42 0.00 4.52 0.00 1.80 2.54

time (sec)

N/A 0.507 0.416 0.635 0.000 0.314 0.000 0.360 10.534

Problem 1081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 103 97 116 0 483 0 130 523

N.S.

1 1.12 1.05 1.26 0.00 5.25 0.00 1.41 5.68

time (sec)

N/A 0.625 0.303 0.481 0.000 0.340 0.000 0.327 10.818

Problem 1082

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 161 139 156 0 768 0 218 1616

N.S.

1 1.40 1.21 1.36 0.00 6.68 0.00 1.90 14.05

time (sec)

N/A 0.976 0.512 0.564 0.000 0.366 0.000 0.362 11.611

Problem 1083

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 224 196 206 0 1130 0 257 966

N.S.

1 1.43 1.25 1.31 0.00 7.20 0.00 1.64 6.15

time (sec)

N/A 1.430 2.329 0.602 0.000 0.513 0.000 0.336 11.412

Problem 1084

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 274 385 264 0 1471 0 329 1089

N.S.

1 1.42 1.99 1.37 0.00 7.62 0.00 1.70 5.64

time (sec)

N/A 1.978 7.189 0.775 0.000 0.441 0.000 0.339 10.763

Problem 1085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 312 288 349 0 1058 0 535 4943

N.S.

1 1.17 1.08 1.31 0.00 3.98 0.00 2.01 18.58

time (sec)

N/A 1.692 4.444 1.852 0.000 0.356 0.000 0.365 20.069

Problem 1086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 231 159 289 0 919 0 302 3031

N.S.

1 1.28 0.88 1.61 0.00 5.11 0.00 1.68 16.84

time (sec)

N/A 1.222 1.003 1.234 0.000 0.361 0.000 0.361 17.545

Problem 1087

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 190 289 252 0 793 0 256 2709

N.S.

1 1.14 1.73 1.51 0.00 4.75 0.00 1.53 16.22

time (sec)

N/A 0.746 1.255 0.651 0.000 0.336 0.000 0.361 14.350

Problem 1088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 192 154 253 0 996 0 277 1610

N.S.

1 1.25 1.00 1.64 0.00 6.47 0.00 1.80 10.45

time (sec)

N/A 1.063 0.921 0.661 0.000 0.479 0.000 0.354 14.139

Problem 1089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 249 195 299 0 1394 0 339 1762

N.S.

1 1.23 0.97 1.48 0.00 6.90 0.00 1.68 8.72

time (sec)

N/A 1.494 3.558 0.742 0.000 0.556 0.000 0.380 11.179

Problem 1090

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 315 330 345 0 1922 0 526 1906

N.S.

1 1.17 1.23 1.28 0.00 7.14 0.00 1.96 7.09

time (sec)

N/A 2.070 7.133 0.797 0.000 0.788 0.000 0.519 12.378

Problem 1091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F(-1) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

347 370 3348 3197 0 0 0 0 0

N.S.

1 1.07 9.65 9.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.306 25.246 2.408 0.000 0.000 0.000 0.000 0.000

Problem 1092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 151 92 96 71 95 272 107 223

N.S.

1 1.06 0.64 0.67 0.50 0.66 1.90 0.75 1.56

time (sec)

N/A 0.653 0.221 0.778 0.198 0.282 0.914 0.431 13.701

Problem 1093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 139 77 84 61 84 248 92 209

N.S.

1 1.09 0.61 0.66 0.48 0.66 1.95 0.72 1.65

time (sec)

N/A 0.675 0.124 0.671 0.197 0.271 0.648 0.382 14.262

Problem 1094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 111 88 88 65 73 192 107 181

N.S.

1 1.08 0.85 0.85 0.63 0.71 1.86 1.04 1.76

time (sec)

N/A 0.520 0.119 0.526 0.186 0.283 0.447 0.380 13.876

Problem 1095

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 96 77 68 52 62 167 92 181

N.S.

1 1.10 0.89 0.78 0.60 0.71 1.92 1.06 2.08

time (sec)

N/A 0.473 0.124 0.483 0.192 0.286 0.330 0.350 14.659

Problem 1096

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 88 109 73 81 88 0 145 242

N.S.

1 0.99 1.22 0.82 0.91 0.99 0.00 1.63 2.72

time (sec)

N/A 0.428 0.161 0.398 0.203 0.286 0.000 0.327 11.733

Problem 1097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 86 105 88 91 107 0 142 241

N.S.

1 1.04 1.27 1.06 1.10 1.29 0.00 1.71 2.90

time (sec)

N/A 0.393 0.344 0.388 0.269 0.301 0.000 0.333 11.008

Problem 1098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 105 132 116 101 139 0 163 236

N.S.

1 1.12 1.40 1.23 1.07 1.48 0.00 1.73 2.51

time (sec)

N/A 0.390 1.115 0.418 0.271 0.298 0.000 0.338 12.273

Problem 1099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 125 86 92 160 0 141 225

N.S.

1 1.00 1.52 1.05 1.12 1.95 0.00 1.72 2.74

time (sec)

N/A 0.280 0.023 0.315 0.293 0.287 0.000 0.348 15.885

Problem 1100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 92 153 104 107 180 0 153 221

N.S.

1 1.05 1.74 1.18 1.22 2.05 0.00 1.74 2.51

time (sec)

N/A 0.598 0.038 0.300 0.422 0.301 0.000 0.351 11.851

[next] [prev] [prev-tail] [front] [up]